You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Copy file name to clipboardExpand all lines: content/issues/2025-11-01 (43-1)/vol43is1/articles/signll.md
+1-1Lines changed: 1 addition & 1 deletion
Display the source diff
Display the rich diff
Original file line number
Diff line number
Diff line change
@@ -1,5 +1,5 @@
1
1
title: Why NLP Matters More than Ever
2
-
authors: ['Vinay Rajagopalan']
2
+
authors: ['Kush Bhardwaj']
3
3
4
4
You have probably heard of the term “natural language processing.” Maybe you think of it as a buzzword - isn’t it just ChatGPT, or a subset of artificial intelligence? However, it is a lot bigger than that. NLP is not just a subset of AI; it is the layer that makes AI usable by humans. It is the reason you are able to interact with the AI models you love and use. At its core, NLP is about teaching computers to interpret, structure, and generate language in a way that captures meaning and intention. It is not about flashy demos or the “state-of-the-art.” Rather, it is about modelling and making sense of the understandability and interactability itself. So if NLP is bigger than chatbots, what does it actually do, and why does it matter for computer scientists today?
Copy file name to clipboardExpand all lines: content/issues/2025-11-01 (43-1)/vol43is1/articles/sigplan.md
+1-1Lines changed: 1 addition & 1 deletion
Display the source diff
Display the rich diff
Original file line number
Diff line number
Diff line change
@@ -3,7 +3,7 @@ authors: ['Eyad Loutfi']
3
3
4
4

5
5
6
-
One of the more interesting consequences of interactive theorem proving in recent years has been the realization of its potential both to enhance collaboration among professional mathematicians and bridge the gap of professional mathematics for software engineers and others from less traditional academic backgrounds.
6
+
In recent years, interactive theorem proving has revealed unexpected potential, both enhancing collaboration among professional mathematicians and making the field accessible to software engineers and those from less traditional academic backgrounds.
7
7
8
8
Many of the benefits of mathematicians adopting such technologies are obvious - digitizing a library of theorems would open it up to search and other automotive tools, which could then be used to assist in the building of more complicated modern proofs. Should we reach the point where modern research level proofs are built with or at least checked by a theorem prover, ensuring correctness would no longer be a matter of faith in the author or in the wait for peer review.
HackIllinois is UIUC's premier collegiate hackathon. With over 1000 attendees and 50 mentors in 2019, the hackathon has become one of the largest and most well-regarded in the nation.
4
+
HackIllinois is UIUC's premier student-run hackathon. Each spring, nearly 1000 students come together for one weekend to learn and create innovative hacks such as websites, mobile apps, and many more!
Copy file name to clipboardExpand all lines: content/issues/2025-11-01 (43-1)/vol43is1/blurb/sigplan.yaml
+1-1Lines changed: 1 addition & 1 deletion
Original file line number
Diff line number
Diff line change
@@ -9,7 +9,7 @@ meeting_times:
9
9
blurb: |
10
10
Interested in having a programming language debate? Want to discuss your favorite formal verifier? Maybe even learn some category theory while you’re at it?
11
11
12
-
Sigplan is the place to casually meet other fellow PL enthusiasts (often to some pizza : D) and discuss related topics, be it in compilers, functional programming, formal verification, or mathematical logic and type theory (with its endless applications to both programming and math, or even the tangentially related but deep discussion of what mathematics even is). If these topics seem daunting, don’t worry since all are welcome to join with or without background, and we encourage anyone to come learn!
12
+
Sigplan is the place to casually meet other fellow PL enthusiasts (often to some pizza : D) and discuss related topics, be it in compilers, functional programming, formal verification, or mathematical logic and type theory (with its endless applications to both programming and math, or even the tangentially related but deep discussion of what mathematics even *is*). If these topics seem daunting, don’t worry since all are welcome to join with or without background, and we encourage anyone to come learn!
13
13
14
14
Besides the opportunity for socials and presentations on intriguing and requested topics, anyone is further welcome to give their own presentations. Whether to share a related topic they’re passionate about, or as motivation to encourage self learning and practice communication of said topics.
Sigtricity is the first SIG specializing in hardware and electrical engineering, while also incorporating CS and programming into hardware. We aim to bridge the gap between students who want to take on projects to build their resume and skill set, but do not know where to start. We provide explanations and directions that can be understood by any major or level of experience and provide all the parts. All you need to do is show up and be willing to learn.
0 commit comments